LEVI, GIORGIO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Foundations of disjunctive logic programming: Jorge Lobo, Jack Minker and Arcot Rajasekar, (MIT Press, London, 1992), Price £60.75

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 155 KB

english, 1995

2

The relation between logic and functional languages: a survey

Marco Bellia, Giorgio Levi

Journal:

The Journal of Logic Programming

Year:

1986

Language:

english

File:

PDF, 1.54 MB

english, 1986

3

A prospective comparative study and analysis of predictors of SUNA and SUNCT

Lambru, Giorgio, Rantell, Khadija, Levy, Andrew, Matharu, Manjit S.

Journal:

Year:

2019

Language:

english

File:

PDF, 326 KB

english, 2019

4

Measurement of the forces and moments acting on farm tractor pneumatic tyres

Gobbi, Massimiliano, Aiolfi, Mauro, Pennati, Mario, Previati, Giorgio, Levi, Francesco, Ribaldone, Massimo, Mastinu, Giampiero

Journal:

Vehicle System Dynamics

Year:

2005

Language:

english

File:

PDF, 1.11 MB

english, 2005

5

A recombinant flagellin fragment, which includes the epitopes flg22 and flgII-28, provides a useful tool to study flagellin-triggered immunity

Ciarroni, Serena, Clarke, Christopher R., Liu, Haijie, Eckshtain-Levi, Noam, Mazzaglia, Angelo, Balestra, Giorgio M., Vinatzer, Boris A.

Journal:

Journal of General Plant Pathology

Year:

2018

Language:

english

File:

PDF, 2.27 MB

english, 2018

6

Abstract interpretation based verification of logic programs

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 400 KB

english, 2003

7

Smart Infrastructure: A Vision for the Role of the Civil Engineering Profession in Smart Cities

Berglund, Emily Zechman, Monroe, Jacob G., Ahmed, Ishtiak, Noghabaei, Mojtaba, Do, Jinung, Pesantez, Jorge E., Khaksar Fasaee, Mohammad Ali, Bardaka, Eleni, Han, Kevin, Proestos, Giorgio T., Levis, Ja

Journal:

Journal of Infrastructure Systems

Year:

2020

File:

PDF, 672 KB

2020

8

Roughening and preroughening in nonreconstructed fcc(110) surfaces: A Monte Carlo study

Mazzeo, Giorgio, Jug, Giancarlo, Levi, Andrea C., Tosatti, Erio

Journal:

Physical Review B

Year:

1994

Language:

english

File:

PDF, 1.17 MB

english, 1994

9

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 913 KB

english, 1987

10

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Barbuti, Roberto, Giacobazzi, Roberto, Levi, Giorgio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.85 MB

english, 1993

11

Human eosinophils and mast cells: Birds of a feather flock together

Robida, Piper A., Puzzovio, Pier Giorgio, Pahima, Hadas, Levi-Schaffer, Francesca, Bochner, Bruce S.

Journal:

Immunological Reviews

Year:

2018

Language:

english

File:

PDF, 475 KB

english, 2018

12

Ferroportin gene silencing induces iron retention and enhances ferritin synthesis in human macrophages

Anna Gallí, Gaetano Bergamaschi, Helios Recalde, Giorgio Biasiotto, Paolo Santambrogio, Sabrina Boggi, Sonia Levi, Paolo Arosio, Mario Cazzola

Journal:

British Journal of Haematology

Year:

2004

Language:

english

File:

PDF, 307 KB

english, 2004

13

Structural descriptions of fingerprint images

Giorgio Levi, Franco Sirovich

Journal:

Information Sciences

Year:

1972

Language:

english

File:

PDF, 3.51 MB

english, 1972

14

Partial evaluation of metaprograms in a “multiple worlds” logic language

Giorgio Levi, Giuseppe Sardu

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 1.08 MB

english, 1988

15

Differential regulation of the zinc finger genes Krox-20 and Krox-24 (Egr-1) suggests antagonistic roles in Schwann cells

Piotr Topilko, Giovanni Levi, Giorgio Merlo, Stefano Mantero, Carole Desmarquet, Gianluigi Mancardi, Patrick Charnay

Journal:

Journal of Neuroscience Research

Year:

1997

Language:

english

File:

PDF, 927 KB

english, 1997

16

Generalized and/or graphs

Giorgio Levi, Franco Sirovich

Journal:

Artificial Intelligence

Year:

1976

Language:

english

File:

PDF, 974 KB

english, 1976

17

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

18

Jaw transformation with gain of symmetry after Dlx5/Dlx6 inactivation: Mirror of the past?

Annemiek Beverdam, Giorgio R. Merlo, Laura Paleari, Stefano Mantero, Francesca Genova, Ottavia Barbieri, Philippe Janvier, Giovanni Levi

Journal:

Year:

2002

Language:

english

File:

PDF, 1.01 MB

english, 2002

19

Editorial

Giorgio Levi, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 71 KB

english, 1988

20

Xenon-enhanced computed tomography cerebral blood flow measurements in acute cerebral ischemia: Review of 56 cases

Giorgio Rubin, Andrew D. Firlik, Elad I. Levy, Ronda R. Pindzola, Howard Yonas

Journal:

Journal of Stroke and Cerebrovascular Diseases

Year:

1999

Language:

english

File:

PDF, 3.57 MB

english, 1999

21

Cryoprotective effects of lactitol, Palatinit and polydextrose on cod surimi proteins during frozen storage

Levi, Giovanni, Corsetti, Maria-Teresa, Boncinelli, Edoardo, Corte, Giorgio

Journal:

Trends in Food Science & Technology

Year:

1990

Language:

english

File:

PDF, 126 KB

english, 1990

22

NESTED GUARDED HORN CLAUSES

FALASCHI, MORENO, GABBRIELLI, MAURIZIO, LEVI, GIORGIO, MURAKAMI, MASAKI

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 736 KB

english, 1990

23

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || A compositive abstraction algorithm for combinatory logic

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 732 KB

english, 1987

24

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Generalized sufficient conditions for modular termination of rewriting

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 1.00 MB

english, 1992

25

A procedure for determining the centromere in the classification of wheat metaphases by digital computer

Mario Aiello, Antonio Albano, Giorgio Levi

Journal:

Computers and Biomedical Research

Year:

1970

Language:

english

File:

PDF, 249 KB

english, 1970

26

The use of autologous platelet gel to treat difficult-to-heal wounds: a pilot study

Laura Mazzucco, Dante Medici, Massimo Serra, Renzo Panizza, Giorgio Rivara, Sara Orecchia, Roberta Libener, Elena Cattana, Alessandro Levis, Pier Giacomo Betta, Piero Borzini

Journal:

Transfusion (Wiley)

Year:

2004

Language:

english

File:

PDF, 101 KB

english, 2004

27

Non pair-sharing and freeness analysis through linear refinement

Levi, Giorgio, Spoto, Fausto

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.99 MB

english, 1999

28

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Linear logic and lazy computation

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 637 KB

english, 1987

29

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || The finiteness of logic programming derivations

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 966 KB

english, 1992

30

Genetic Associations With White Matter Hyperintensities Confer Risk of Lacunar Stroke

Traylor, Matthew, Rutten-Jacobs, Loes C.A., Thijs, Vincent, Holliday, Elizabeth G., Levi, Chris, Bevan, Steve, Malik, Rainer, Boncoraglio, Giorgio, Sudlow, Cathie, Rothwell, Peter M., Dichgans, Martin

Journal:

Year:

2016

Language:

english

File:

PDF, 883 KB

english, 2016

31

Proteomics investigation of human platelets by shotgun nUPLC-MSE and 2DE experimental strategies: A comparative study

Finamore, Francesco, Pieroni, Luisa, Ronci, Maurizio, Marzano, Valeria, Mortera, Stefano Levi, Romano, Mario, Cortese, Claudio, Federici, Giorgio, Urbani, Andrea

Journal:

Blood Transfusion

Year:

2010

Language:

english

File:

PDF, 1.88 MB

english, 2010

32

Remote Effects of Acute Ischemic Stroke: A Xenon CT Cerebral Blood Flow Study

Rubin, Giorgio, Levy, Elad I., Scarrow, Alan M., Firlik, Andrew D., Karakus, Alaad din, Wechsler, Lawrence R., Jungreis, Charles A., Yonas, Howard

Journal:

Cerebrovascular Diseases

Year:

2000

Language:

english

File:

PDF, 915 KB

english, 2000

33

Preface

Journal:

Science of Computer Programming

Year:

2001

Language:

english

File:

PDF, 25 KB

english, 2001

34

[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Reducing recursion to iteration by means of pairs and N-tuples

Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, Giorgio

Year:

1988

Language:

english

File:

PDF, 392 KB

english, 1988

35

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Listlog — A PROLOG extension for list processing

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 516 KB

english, 1987

36

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Theorem proving for hierarchic first-order theories

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

37

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.89 MB

english, 1991

38

Sopra una nuova lega gristallizzata di nichelio e ferro

Giorgio Levi Montefiore Ingegnere

Journal:

Il Nuovo Cimento Series 10

Year:

1915

Language:

italian

File:

PDF, 229 KB

italian, 1915

39

Verspreide Geschriften (Gesammelte Schriften)by Christian Snouck Hurgronje; A. J. Wensinck

Review by: Giorgio Levi Della Vida

Journal:

Oriente Moderno

Year:

1929

File:

PDF, 485 KB

1929

40

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Intensional negation of logic programs: Examples and implementation techniques

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 873 KB

english, 1987

41

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || A goal oriented strategy based on completion

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 576 KB

english, 1992

42

Ugo Monneret de Villard (1881-1954)

Ernst Kühnel and Giorgio Levi Della Vida

Journal:

Year:

1957

File:

PDF, 1.25 MB

1957

43

Fourfold Structure of Vortex-Core States in

Levy, Giorgio, Kugler, Martin, Manuel, Alfred A., Fischer, Øystein, Li, Ming

Journal:

Physical Review Letters

Year:

2005

Language:

english

File:

PDF, 434 KB

english, 2005

44

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Improving the execution speed of compiled Prolog with modes, clause selection, and determinism

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 1.01 MB

english, 1987

45

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || On n-syntactic equational theories

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 553 KB

english, 1992

46

CD300a expression is modulated in atopic dermatitis and could influence the inflammatory response

Karra, Laila, Gangwar, Roopesh Singh, Puzzovio, Pier Giorgio, Fyhrquist, Nanna, Minai-Fleminger, Yael, Landolina, Nadine, Simon, Hans-Uwe, Alenius, Harri, Leibovich, Vera, Simon, Dagmar, Levi-Schaffer

Journal:

Year:

2019

File:

PDF, 531 KB

2019

47

Evidence in favor of a neurotransmitter role of glycine in the rat cerebral cortex

Giulio Levi, Giorgio Bernardi, Enrico Cherubini, Vittorio Gallo, M. Grazia Marciani, Paolo Stanzione

Journal:

Year:

1982

Language:

english

File:

PDF, 632 KB

english, 1982

48

Association of MTHFR C677T Genotype With Ischemic Stroke Is Confined to Cerebral Small Vessel Disease Subtype

Rutten-Jacobs, Loes C.A., Traylor, Matthew, Adib-Samii, Poneh, Thijs, Vincent, Sudlow, Cathie, Rothwell, Peter M., Boncoraglio, Giorgio, Dichgans, Martin, Meschia, James, Maguire, Jane, Levi, Christop

Journal:

Year:

2016

Language:

english

File:

PDF, 1.06 MB

english, 2016

49

“Short term surgical complications after subthalamic deep brain stimulation for Parkinson’s disease: does old age matter?”

Levi, Vincenzo, Carrabba, Giorgio, Rampini, Paolo, Locatelli, Marco

Journal:

Year:

2015

Language:

english

File:

PDF, 359 KB

english, 2015

50

Large-scale validation and benchmarking of a network of power-conservative systems using ETSI's Green Abstraction Layer

Bolla, Raffaele, Bruschi, Roberto, Davoli, Franco, Lago, Paolo, Bakay, Árpád, Grosso, Renato, Kamola, Mariusz, Karpowicz, Michał, Koch, Lavi, Levi, David, Parladori, Giorgio, Suino, Diego

Journal:

Transactions on Emerging Telecommunications Technologies

Year:

2016

Language:

english

File:

PDF, 2.43 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски